1. Advanced Arithmetic for the Digital Computer :
پدیدآورنده : by Ulrich W. Kulisch.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Computer network architectures.,Computer science.
رده :
QA76
.
9
.
C62
B985
2002
2. C++ Toolbox for Verified Computing I :
پدیدآورنده : by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Global analysis (Mathematics),Mathematics.
رده :
QA76
.
73
.
C153
B985
1995
3. Computer Arithmetic and Validity : Theory, Implementation, and Applications
پدیدآورنده : / Kulisch, Ulrich
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
4. Computer arithmetic in theory and practice
پدیدآورنده : Ulrich W. Kulisch, Willard L. Miranker
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Algebra, Abstract,Interval analysis (mathematical),Floating - Point arithmetic
رده :
QA
,
162
,.
K84
,
1981
5. Numerical Toolbox for Verified Computing I :
پدیدآورنده : by Ulrich Kulisch, Rolf Hammer, Dietmar Ratz, Matthias Hocks.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Mathematics.,Numerical analysis.
رده :
QA300
.
B985
1993
6. Perspectives on enclosure methods
پدیدآورنده : Ulrich Kulisch, Rudolf Lohner, Axel Facius (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer arithmetic.,Interval analysis (Mathematics)
رده :
QA76
.
9
.
C62
U475
9999
